simple predicates

visit shbcf.ru